Code coverage - PDFSEARCH.IO - Document Search Engine

Code coverage
Results: 436

#	Item
91	Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:34:45 Computer programming Software metrics Code coverage Modified condition/decision coverage Conditional DO-248B Control flow Gcov C Software engineering Software testing Computing
92	Predicting Class Testability using Object-Oriented Metrics Magiel Bruntink Arie van Deursen CWI, P.O Box 94079 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-11-26 15:59:20 Software Software testability Software quality Cyclomatic complexity JUnit Source lines of code Unit testing Test automation Code coverage Software testing Software metrics Software engineering
93	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
94	Mobile SMS Based Marketing Mobile Marketing reflects positively on your Business Opportunities as it offers maximum coverage, tangible instantaneous results and provides a direct inexpensive interactive communication lin Add to Reading List Source URL: www.go2mobile.com Language: English - Date: 2015-03-05 10:23:51 Wireless Text messaging Coupon Sales promotion Mobile marketing SMS Short code Direct marketing Technology Mobile technology Marketing
95	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
96	Code-Coverage – Einfach und aussagekräftig Seit März 2011 kann TRACE32 Traceinformationen bereits während der Aufzeichnung auf die Festplatte streamen. Die große Menge an Daten über den Programmablauf, die auf die Add to Reading List Source URL: www.lauterbach.com Language: German - Date: 2012-02-06 07:38:00
97	Open Geospatial Consortium Date: [removed]External identifier of this OGC® document: <_http://www.opengis.net/doc/template/standard/1.0_> Internal reference number of this OGC® document: 12-nnnr1 Add to Reading List Source URL: external.opengeospatial.org Language: English - Date: 2012-07-31 08:53:46 ISO/TC 211 Web Map Service HHH .ht Geographic information system .gd Web Coverage Service Communication Measurement Open Geospatial Consortium Country code top-level domains GIS software
98	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods

UPDATE